Markov chain mixing time